|
E
e number, 34, 287
eager evaluation, 11
Edinburgh LCF, 11
Edinburgh syntax, 357
effable, 307
effectively enumerable, 310
eight queens problem, 139
Einstein’s riddle, 406, 407
empty expansion, 145, 146
empty string, 62
empty vector, 85, 89, 207
encoding, 13, 14, 31, 42, 43, 142, 145, 150, 214, 312, 313, 463, 484
enriched Horn clauses, 374
enumeration, 247
enumeration type, 231, 234
environment, 1, 25, 81, 83, 109, 120, 174, 256, 320, 321, 461, 481, 495
equality, 36, 76, 158, 208, 240, 288, 308, 356, 385, 387, 483
equality types, 208
equational specification, 25, 26, 27
equations, 5, 8, 25, 26, 27, 28, 32, 37, 38, 39, 40, 42, 158, 162, 166, 168, 413
error message, 26, 200, 204
error objects, 426
exception, 123, 124, 439, 461
explicitly typed, 204
extended ASCII, 62
external, 114
|
|
